1. $b$ : $\mathbb{B}$
\\[0ex]$\vdash$  ($b$ = tt) $\vee$ ($b$ = ff)